Automatic Synthesis of Control Software for an IndustrialAutomation Control

نویسنده

  • Enrico Tronci
چکیده

We present a case study on automatic synthesis of control software from formal speciications for an industrial automation control system. Our aim is to compare the eeectiveness (i.e. design eeort and controller quality) of automatic controller synthesis from closed loop formal speciications with that of manual controller design followed by automatic veriication. Our experimental results show that for industrial automation control systems automatic synthesis is a viable and prootable (especially as far as design eeort is concerned) alternative to manual design followed by automatic veriication.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An automatic test case generator for evaluating implementation of access control policies

One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...

متن کامل

Automatic Synthesis of Control Software for an Industrial Automation Control System

We present a case study on automatic synthesis of control software from formal speci cations for an industrial automation control system. Our aim is to compare the e ectiveness (i.e. design e ort and controller quality) of automatic controller synthesis from closed loop formal speci cations with that of manual controller design followed by automatic veri cation. Our experimental results show th...

متن کامل

Managed Pressure Drilling Using Integrated Process Control

Control of wellbore pressure during drilling operations has always been important in the oil industry as this can prevent the possibility of well blowout. The present research employs a combination of automatic process control and statistical process control for the first time for the identification, monitoring, and control of both random and special causes in drilling operations. To this end, ...

متن کامل

Automatic Landing Guidance Systems and Design of an Optimal Landing Control System

Guidance and control of aircraft in the landing phase imposes extra pilot work loads, hence application of automatic landing control systems is of great importance. In this study automatic landing control systems are introduced and an optimal landing control system is designed. The control system performance criteria are based on minimum control effort. The designed system is simulated for a tr...

متن کامل

Automatic Landing Guidance Systems and Design of an Optimal Landing Control System

Guidance and control of aircraft in the landing phase imposes extra pilot work loads, hence application of automatic landing control systems is of great importance. In this study automatic landing control systems are introduced and an optimal landing control system is designed. The control system performance criteria are based on minimum control effort. The designed system is simulated for a tr...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999